Những ấn phẩm chính John_McCarthy_(nhà_khoa_học_máy_tính)
McCarthy, J. 1959. "Programs with Common Sense" at the Wayback Machine (archived ngày 4 tháng 10 năm 2013). In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
McCarthy, J. 1960. "Recursive functions of symbolic expressions and their computation by machine" at the Wayback Machine (archived ngày 4 tháng 10 năm 2013). Communications of the ACM 3(4):184-195.
McCarthy, J. 1963a "A basis for a mathematical theory of computation". In Computer Programming and formal systems. North-Holland.
McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence at the Wayback Machine (archived ngày 25 tháng 8 năm 2013). In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
McCarthy, J. 1977. "Epistemological problems of artificial intelligence". In IJCAI, 1038-1044.
McCarthy, J (1980). “Circumscription: A form of non-monotonic reasoning”. Artificial Intelligence. 13 (1–2): 23–79. doi:10.1016/0004-3702(80)90011-9.
McCarthy, J (1986). “Applications of circumscription to common sense reasoning”. Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.
McCarthy, J. 1990. "Generality in artificial intelligence". In Lifschitz, V., ed., Formalizing Common Sense. Ablex. 226-236.
McCarthy, J. 1993. "Notes on formalizing context". In IJCAI, 555-562.
McCarthy, J., and Buvac, S. 1997. "Formalizing context: Expanded notes". In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
McCarthy, J. 1998. "Elaboration tolerance". In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning, Commonsense-1998.
McCarthy, J. 2002. "Actions and other events in situation calculus". In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.
